منابع مشابه
Keith Simmons
Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...
متن کاملGlomerulonephritis Keith
Early diagnosis of glomerulonephritis (GN) in the adolescent is important in initiating appropriate treatment and controlling chronic glomerular injury that may eventually lead to end-stage renal disease (ESRD). The spectrum of GN in adolescents is more similar to that seen in young and middle-aged adults than to that observed in prepubertal children. In this article, the authors discuss the cl...
متن کاملDefinable Davies’ Theorem
We prove the following descriptive set-theoretic analogue of a Theorem of R.O. Davies: Every Σ2 function f : R× R → R can be represented as a sum of rectangular Σ2 functions if and only if all reals are constructible.
متن کاملCounting Keith numbers
A Keith number is a positive integer N with the decimal representation a1a2 . . . an such that n ≥ 2 and N appears in the sequence (Km)m≥1 given by the recurrence K1 = a1, . . . ,Kn = an and Km = Km−1 + Km−2 + · · · + Km−n for m > n. We prove that there are only finitely many Keith numbers using only one decimal digit (i.e., a1 = a2 = · · · = an), and that the set of Keith numbers is of asympto...
متن کاملSeparability Keith Conrad
From Definition 1.1, checking a polynomial is separable requires building a splitting field to check the roots are distinct. But we will see in Section 2 a criterion for deciding when a polynomial is separable (that is, has no multiple roots) without having to work in a splitting field. In Section 3 we will define what it means for a field extension to be separable and then prove the primitive ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hispanic American Historical Review
سال: 1995
ISSN: 0018-2168,1527-1900
DOI: 10.1215/00182168-75.2.247